| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Kryptographie | Fach-/Modulprüfung | 6 | 516962 | ||
| Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 515276 | ||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 8 | 515396 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 518538 | ||
| Vorlesung | 522520 | Mo 10:30-12:00 5054 (2356|054) (×3) Mo 10:30-12:00 AH III (2350|314.1) (×9) Mo 10:30-12:00 AH V (2356|050) (×1) Di 10:30-12:00 AH II (2350|111) (×12) | |||
| Algorithms for Politics | Fach-/Modulprüfung | 6 | 516657 | ||
| Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 515508 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 515331 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 515156 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 515602 | ||
| Vorlesung/Übung | 511645 | Mo 08:30-10:00 AH I (2350|028) (×13) Mo 16:30-17:15 5056 (2356|056) (×14) Di 08:30-10:00 AH V (2356|050) (×13) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 518548 | ||
| Graphalgorithmen | Fach-/Modulprüfung | 6 | 515613 | ||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 519091 | ||
| Vorlesung | 521729 | Mi 10:30-12:00 AH III (2350|314.1) (×13) Fr 12:30-14:00 AH III (2350|314.1) (×9) | |||
| Übung | 521730 | Mo 12:30-14:00 AH I (2350|028) (×14) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 515676 | ||
| Vorlesung | 511721 | Mo 12:30-14:00 5056 (2356|056) (×14) Do 12:30-14:00 5056 (2356|056) (×12) | |||
| Übung | 511488 | Mo 12:30-14:00 5056 (2356|056) (×12) Di 13:00-14:00 AH IV (2354|030) (×1) Fr 13:00-14:00 AH IV (2354|030) (×1) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 515647 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 517305 | ||
| Fach-/Modulprüfung | 8 | 517304 | |||
| Mathematische Logik II | Fach-/Modulprüfung | 8 | 515392 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 518530 | ||
| Vorlesung | 521373 | Mi 12:30-14:00 AH I (2350|028) (×12) Do 10:30-12:00 AH III (2350|314.1) (×14) | |||
| Übung | 521372 | Mo 12:30-14:00 5056 (2356|056) (×1) Di 10:45-13:15 5056 (2356|056) (×1) Do 08:30-10:00 AH III (2350|314.1) (×10) Do 09:55-12:30 5056 (2356|056) (×1) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 516275 | ||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 518531 | ||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 517281 | ||
| Vorlesung/Übung | 513330 | Mo 10:30-12:00 AH II (2350|111) (×15) Mi 12:30-14:00 AH III (2350|314.1) (×14) Do 16:30-18:00 AH V (2356|050) (×12) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 515534 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 521857 | ||
| Vorlesung | 521377 | Mo 12:30-14:00 AH II (2350|111) (×13) Di 12:30-14:00 AH II (2350|111) (×12) | |||
| Übung | 521376 | Do 16:30-18:00 AH III (2350|314.1) (×11) Do 16:30-18:00 TEMP1 (1515|001) (×1) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 545664 | ||
| Vorlesung | 521486 | Di 12:30-14:00 5055 (2356|055) (×13) Fr 11:00-12:30 5056 (2356|056) (×2) | |||
| Übung | 521487 | Do 10:30-12:00 Seminarraum i7, Raum 4116 (2353|116) (×8) |